1. A comparative study of very lage data bases
پدیدآورنده : / Edward Hill, Jr.
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Data base management
رده :
QA76
.
9
.
D3H54
2. Advances in Database Technology EDBT 2002 :
پدیدآورنده : G Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
D3
G466
2002
3. Algebraic structure theory of sequential machine
پدیدآورنده : HARTMANIS,J
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H3
4. Algebraic structure theory of sequential machines
پدیدآورنده : Hartmanis, Juris
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4H3
5. Algebraic structure theory of sequential machines
پدیدآورنده : Hartmanis, Juris.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H3
6. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen :
پدیدآورنده : edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Informatique.,Langages formels.
7. Interdisciplinary Conference in the Formal Aspects of Cognitive Processes , Ann Arbor ,M ich , 1972 . Formal aspects of cognitive processes
پدیدآورنده : Edited by G. Goos،J. Hartmanis
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Cognition - Congresses
رده :
BF
,
311
,.
I56
,
1973
8. LECTURE NOTES IN COMPUTER SCIENCE
پدیدآورنده : J .HARTMANIS
موضوع :
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
9. LECTURE NOTES IN COMPUTER SCIENCE(weeded)
پدیدآورنده : J. HARTMANIS
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
C
,
193
10. Lecture notes in artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
رده :
Q
،
334
،.
P67
،
1989
11. Lecture notes in computer science, 1-100
پدیدآورنده : edited by G. Goos and J. Hartmanis
کتابخانه: (طهران)
موضوع : Periodicals, Indexes ، Computers
رده :
QA
75
.
5
.
L4
12. Mathematical Foundations of Computer Science 1990
پدیدآورنده : Rovan, B.; editor by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Science - Mathematics - Congresses
رده :
QA
76
.
9
.
M35
S96
1660
13. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
14. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
15. Reference manual for the Ada programming Language. ANSI/MIL-STD 1815A- 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Ada )Computer program language(
رده :
QA
76
.
73
.
A16
.
R43
1983
16. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development, edited by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
17. computer algebra Eurocam 82,european computer algebra conference Marsellie,france,5-7 April 1982
پدیدآورنده :
کتابخانه: (کرمان)
موضوع : Algebra-data processing
رده :
QA
155
.
7
.
C6
1982
